Proof game - PDFSEARCH.IO - Document Search Engine

Proof game
Results: 48

#	Item
11	Paranoid Proof-Number Search Jahn-Takeshi Saito and Mark H.M. Winands Abstract— Over the years, an increasing number of twoplayer games has been added to the list of solved games. However, solving multi-player games ha Add to Reading List Source URL: game.itu.dk Language: English - Date: 2010-08-10 12:41:00 Game artificial intelligence Search algorithms Combinatorial game theory Proof-number search Abstract strategy games Andor tree Alphabeta pruning Game tree Solved game Tree B-tree Computer chess
12	eBay in the Sky: Strategy-Proof Wireless Spectrum Auctions Xia Zhou, Sorabh Gandhi, Subhash Suri and Haitao Zheng Department of Computer Science University of California, Santa Barbara, CA, USA Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2012-05-03 01:03:05 Auction theory Auctions Game theory Auction Spectrum auction VickreyClarkeGroves auction Multiunit auction Bidding Shop at Bid First-price sealed-bid auction
13	Game-Tree Search Using Proof Numbers 131 GAME-TREE SEARCH USING PROOF NUMBERS: THE FIRST TWENTY YEARS Add to Reading List Source URL: webdocs.cs.ualberta.ca Language: English - Date: 2015-11-16 19:04:59
14	A game semantics for proof search: Preliminary results 1 Dale Miller and Alexis Saurin 2 ´ INRIA-Futurs and Ecole Polytechnique Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2005-05-01 17:35:03
15	WCCT-10 CLARIFICATION DOCUMENT #1 Section A: Twomovers Question: Is the example CA1 thematic? Moves 1.Sd3 and 1.Sc4 prevent black from defending against the threat with 1...Bf1 (by pinning), but the move 1...Bf1 never r Add to Reading List Source URL: www.wfcc.ch Language: English - Date: 2015-05-24 08:32:42 Chess openings Games Sports in New York City Chess Chess problems Proof game
16	WCCT-10 CLARIFICATION DOCUMENT #1 Section A: Twomovers Question: Is the example CA1 thematic? Moves 1.Sd3 and 1.Sc4 prevent black from defending against the threat with 1...Bf1 (by pinning), but the move 1...Bf1 never re Add to Reading List Source URL: www.wfcc.ch Language: English - Date: 2015-05-24 08:32:41 Chess openings Games Sports in New York City Chess Chess problems Proof game
17	Microsoft Word - abs_12.doc Add to Reading List Source URL: www.jsps.go.jp Language: English - Date: 2009-04-23 03:59:09 Mathematics Applied mathematics Proof-number search Algorithm Transposition table Solver Computer chess Game artificial intelligence Search algorithms Artificial intelligence
18	ROTTERDAM CLIMATE PROOF ADAPTATION PROGRAMME CONNECTING WATER WITH OPPORTUNITIES Add to Reading List Source URL: www.rotterdamclimateinitiative.nl Language: English - Date: 2013-10-21 04:27:07 Rotterdam Adaptation to global warming Knowledge for Climate STAR Global warming game Office for Metropolitan Architecture Climatology Global warming Climate change Environment
19	Intramural Policies Intramural Eligibility Policy UBC Affiliation Policy Participation in all intramural events, tournaments and leagues is restricted to UBC Staff, Faculty and UBC students only. Proof of UBC status is r Add to Reading List Source URL: recreation.sites.olt.ubc.ca Language: English - Date: 2014-12-10 15:36:14 Association of Pacific Rim Universities University of British Columbia Exhibition game Ultimate Intramural sports Shrum Bowl Sports Team sports Association of Commonwealth Universities
20	How To Play Almost Any Mental Game Over The Net — Concurrent Composition via Super-Polynomial Simulation Boaz Barak∗ Department of Computer Science Princeton University Princeton, New Jersey Add to Reading List Source URL: www.boazbarak.org Language: English - Date: 2011-10-10 23:49:36 Secure multi-party computation Zero-knowledge proof Standard model IP Random oracle Communications protocol Commitment scheme NP Transmission Control Protocol Cryptography Cryptographic protocols Secure two-party computation